CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·19h
🌊Stream Ciphers
A2HCoder: An LLM-Driven Coding Agent for Hierarchical Algorithm-to-HDL Translation
arxiv.org·21h
💻Local LLMs
Structured (Synchronous) Concurrency
fsantanna.github.io·3h·
Discuss: Lobsters, Hacker News
📞Session Types
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·33m
🔤Type Theory
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.to·3h·
Discuss: DEV
🎯Performance Proofs
Factoring Stencils
johndcook.com·1d
👑Isabelle
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·6h·
Discuss: Hacker News
⚡Homebrew CPUs
Modular Arithmetic in Data Science
towardsdatascience.com·1h
📐Interval Arithmetic
Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
Towards Efficient Hash Maps in Functional Array Languages
arxiv.org·21h
🔗Functional Compilers
Lost Particle Resurfaces As the Key to Universal Quantum Computing
scitechdaily.com·1d
⚛️Information Physics
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
6 Genius Level Puzzles
mindyourdecisions.com·1d
🔲Cellular Automata
The theorem on formal functions
math.columbia.edu·3d
⚔️Lean Theorem
Claude Code: Tips and Tricks
post-training.aitinkerers.org·1h·
Discuss: Hacker News
🌳Incremental Parsing
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·21h
🎨Graph Coloring
Stream Integration
feldera.com·10h·
Discuss: Hacker News
🌊Stream Processing
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·1d
🔗Functional Compilers
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·8h
🔲Proof Irrelevance
Escaping the Steamcar Era of AI
speakez.tech·8h·
Discuss: Hacker News
⚡Homebrew CPUs